Iterating Forcing using Models as Side Conditions
نویسنده
چکیده
3. Can the conclusion of Theorem 1 hold for two successive cardinals, say I[ω2] and I[ω3]? I believe that I can answer item 1 affirmatively for λ of the form μ+ where μ<μ = μ and 2μ = μ+. This talk discusses a step towards answering item 3 by showing that the use of models as side conditions can be applied simultaneously at ω2 and ω3. I expect that this will enable a full positive answer to item 3. This is likely to be a small, but necessary, step towards a positive answer to item 2, or to item 1 with λ a limit cardinal.
منابع مشابه
Iteration of Semiproper Forcing Revisited
We present a method for iterating semiproper forcing which uses side conditions and is inspired by the technique recently introduced by Nee-
متن کاملRadin forcing and its iterations
We provide an exposition of supercompact Radin forcing and present several methods for iterating Radin forcing. In this paper we give an exposition of supercompact Radin forcing using coherent sequences of ultrafilters. This version of Radin forcing includes as special cases the Prikry forcing and Magidor forcing, both the measurable and supercompact versions. We also introduce some methods for...
متن کاملForcing with adequate sets of models as side conditions
We present a general framework for forcing on ω2 with finite conditions using countable models as side conditions. This framework is based on a method of comparing countable models as being membership related up to a large initial segment. We give several examples of this type of forcing, including adding a function on ω2, adding a nonreflecting stationary subset of ω2 ∩ cof(ω), and adding an ω...
متن کاملStrongly adequate sets and adding a club with finite conditions
We continue the study of adequate sets which we began in [2] by introducing the idea of a strongly adequate set, which has an additional requirement on the overlap of two models past their comparison point. We present a forcing poset for adding a club to a fat stationary subset of ω2 with finite conditions, thereby showing that a version of the forcing posets of Friedman [1] and Mitchell [3] fo...
متن کاملFew New Reals
We introduce a new method for building models of CH, together with ⇧2 statements over H(!2), by forcing over a model of CH. Unlike similar constructions in the literature, our construction adds new reals, but only @1–many of them. Using this approach, we prove that a very strong form of the negation of Club Guessing at !1 known as Measuring is consistent together with CH, thereby answering a we...
متن کامل